21. Cabal Seminar 79-81 : Proceedings, Caltech - UCLA logic Seminar 1979-81
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1019
22. Cabal Seminar 76-77 : Proceedings, Caltech-UCLA logic Seminar 1976-1977
پدیدآورنده : edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
689
23. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
24. Cabal Seminar 81-85: proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1333
25. Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic Seminar, 1976-77
پدیدآورنده : A.S. Kechris, Y. N. Moschovakis )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1976
26. Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar, 1979-81
پدیدآورنده : A.S. Kechris, D.A. Martin, Y. N. Moschovakis )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1979
27. Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده : A.S. Kechris, D.A. Martin, J.R. Steel )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C3
1985
28. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
29. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
30. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
31. Cabal Seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-1979
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Recursion theory,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
839
32. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
پدیدآورنده : edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1019
33. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده : edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
34. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
36. Complexity, logic, and recursion theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Recursion theory. ;
37. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
38. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
39. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
40. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
